Linear logic - PDFSEARCH.IO - Document Search Engine

Linear logic
Results: 927

#	Item
861	Weak Measurements: A New Type of Quantum Measurement and its Experimental Implications. Add to Reading List Source URL: www.hep.ucl.ac.uk Language: English - Date: 2012-12-20 13:20:01 Quantum potential Wave function Uncertainty principle Probability amplitude Basil Hiley Linear temporal logic Physics Quantum mechanics Schrödinger equation
862	Modern Theory of Quantum Measurement and its Applications Akira Shimizu Department of Basic Science, University of Tokyo, Komaba Add to Reading List Source URL: as2.c.u-tokyo.ac.jp Language: English - Date: 2009-04-22 03:20:47 Linear temporal logic Temporal logic Quantum field theory
863	A Guide to the FuzzyNumbers[removed]Package for R Marek Gagolewski1,2 1 Add to Reading List Source URL: cran.r-project.org Language: English - Date: 2013-08-29 11:16:08 Logic Fuzzy set Generating function Continuous function Trapezoidal rule Piecewise linear function Mathematical analysis Fuzzy logic Mathematics
864	SPIN[removed]CAN QUANTUM MECHANICS BE RECONCILED Add to Reading List Source URL: www.staff.science.uu.nl Language: English - Date: 2011-03-24 08:13:50 Fermionic field Spinors Wave function Operator Entailment Linear temporal logic Μ operator Physics Quantum mechanics Quantum field theory
865	The Logic of Quantum Mechanics Garrett Birkhoff; John Von Neumann The Annals of Mathematics, 2nd Ser., Vol. 37, No. 4. (Oct., 1936), pp[removed]. Add to Reading List Source URL: www.fulviofrisone.com Language: English - Date: 2012-03-06 08:27:10 Quantum mechanics Quantum measurement Propositional calculus Mathematical logic Hilbert space Linear algebra John von Neumann Complemented lattice Function Mathematics Physics Logic
866	HERBERT FEIGL and MAY BRODBECK Editors UNIVERSITY OF MINNESOTA Add to Reading List Source URL: www.hist-analytic.com Language: English - Date: 2011-07-28 19:50:20 Binary operations Numerical linear algebra Propositional calculus Deduction If and only if Entailment Interpretation QR decomposition QR code Logic Algebra Mathematics
867	PROOFS AND TYPES JEAN-YVES GIRARD Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 12:08:23 Proof theory Denotational semantics Natural deduction Linear logic Cut-elimination theorem Curry–Howard correspondence Lambda calculus Type theory Semantics Logic Mathematical logic Mathematics
868	The Logical Basis of Evaluation Order and Pattern-Matching Noam Zeilberger Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2009-10-21 18:53:38 Theoretical computer science Logic in computer science Proof theory Data types Dependently typed programming Natural deduction Curry–Howard correspondence Linear logic Subtype polymorphism Logic Mathematics Type theory
869	Model Checking II Temporal Logic Model Checking Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2009-09-27 18:25:33 Mathematics Logic in computer science Modal logic Linear temporal logic Philosophical logic CTL* Computation tree logic Kripke semantics Kripke structure Logic Temporal logic Mathematical logic
870	The Two Dualities of Computation: Negative and Fractional Types Roshan P. James Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2012-03-18 23:17:11 APL programming language family J Linear logic Potentially all pairwise rankings of all possible alternatives Software engineering Computer programming Computing

UPDATE